$\forall$$r$:$\mathbb{Q}$. ($r$ = 0 $\in$ $\mathbb{Q}$) $\Leftarrow\!\Rightarrow$ ($\mid$$r$$\mid$ = 0 $\in$ $\mathbb{Q}$)